Procedural programming languages

Results: 6378



#Item
11Designing a verifying compiler: Lessons learned from developing Whiley

Designing a verifying compiler: Lessons learned from developing Whiley

Add to Reading List

Source URL: homepages.ecs.vuw.ac.nz

Language: English - Date: 2015-11-05 20:25:54
12Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def	
  specialized[T:	
  ClassTag](code:	
  =>	
  Any)	
  =	
  macro	
  ...	
   def	
  createArray[T:	
  ClassTag](size:	
  Int,	
  e

Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def  specialized[T:  ClassTag](code:  =>  Any)  =  macro  ...   def  createArray[T:  ClassTag](size:  Int,  e

Add to Reading List

Source URL: scalamacros.org

Language: English - Date: 2016-08-18 07:56:24
13WG14	
  N1475	
   INCITS	
  PL22.11/09-­‐0002	
   Reply	
  to	
  the	
  Attention	
  of:	
  Barry	
  Hedquist	
   Email:	
  	
    	
  

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2010-06-27 14:32:08
14   	
     User	
  Manual	
  for	
  Scribe	
  3.0	
  

      User  Manual  for  Scribe  3.0  

Add to Reading List

Source URL: brainmap.org

Language: English - Date: 2015-02-11 12:41:17
15Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

Add to Reading List

Source URL: www.math.purdue.edu

Language: English - Date: 2010-01-13 17:46:38
16TECHNICAL REPORT  TRJuneCONCR ETE SYNTAX OF PL / 1

TECHNICAL REPORT TRJuneCONCR ETE SYNTAX OF PL / 1

Add to Reading List

Source URL: homepages.cs.ncl.ac.uk

Language: English - Date: 2014-03-06 06:36:07
17Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016

Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016

Add to Reading List

Source URL: lirias.kuleuven.be

Language: English - Date: 2016-01-16 02:32:56
18Modern Scientific Software Management Using EasyBuild and Lmod Markus Geimer Kenneth Hoste

Modern Scientific Software Management Using EasyBuild and Lmod Markus Geimer Kenneth Hoste

Add to Reading List

Source URL: hpcugent.github.io

Language: English - Date: 2016-07-13 10:13:53
19Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp  Thanks To

Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp Thanks To

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-04-27 09:35:02
20Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail:  &

Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:53